#include <stdio.h>

char s[16] = "777";

int main( void )
{
	
}
